Module isotope::value::relationships [−][src]
Expand description
Relationships between instants
Structs
Relationship | A relationship between relations |
Constants
CN | Always false |
EQ | One instant is equal to another |
GE | One instant is after another |
GT | One instant is strictly after another |
LE | One instant is before another |
LT | One instant is strictly before another |
NE | One instant is not equal to another |
TV | Always true, inducing a false dependency between instants |